function Button_OnClick(orig,dest)
{
 var OrigLB = document.getElementById( orig );
 var DestLB = document.getElementById( dest );
 for (var i=0; i < OrigLB.length; i++) {
   if (OrigLB.options[i].selected == true) {
      DestLB.options[DestLB.length] = 
          new Option(OrigLB.options[i].text, OrigLB.options[i].value);
      OrigLB.options[i] = null;
      i=i-1;
   }
 }
}
function check(dest)
{
 var DestLB = document.getElementById( dest );
 for (var i=0; i < DestLB.length; i++) {
   if (DestLB.options[i].selected == false) {
       DestLB.options[i].selected = true;
   }
 }
}
